## Frobenius automorphisms

from PyM import *

F2 = Zn(2)

[F4,x] = extension(F2,[1,1,1],'x')

[F16,y] = extension(F4,[1,x,1],'y')

f2 = frobenius(F2)

show(f2(x))

show(f2(y))

f4 = frobenius(F4)

show(f4(x))

show(f4(y))